The FaCT systemHORROCKS, I.Lecture notes in computer science. 1998, pp 307-312, issn 0302-9743, isbn 3-540-64406-7Conference Paper

Reasoning with individuals for the description logic SHIQHORROCKS, I; SATTLER, U; TOBIES, S et al.Lecture notes in computer science. 2000, pp 482-496, issn 0302-9743, isbn 3-540-67664-3Conference Paper

OIL in a nutshellFENSEL, D; HORROCKS, I; VAN HARMELEN, F et al.Lecture notes in computer science. 2000, pp 1-16, issn 0302-9743, isbn 3-540-41119-4Conference Paper

Optimising propositional modal satisfiability for description logic subsumptionHORROCKS, I; PATEL-SCHNEIDER, P. F.Lecture notes in computer science. 1998, pp 234-246, issn 0302-9743, isbn 3-540-64960-3Conference Paper

FaCT and DLPHORROCKS, I; PATEL-SCHNEIDER, P. F.Lecture notes in computer science. 1998, pp 27-30, issn 0302-9743, isbn 3-540-64406-7Conference Paper

Bone mineral assessment by dual energy X-ray absorptiometry in children with inflammatory bowel disease: Evaluation by age or bone areaAHMED, S. F; HORROCKS, I. A; PATTERSON, T et al.Journal of pediatric gastroenterology and nutrition. 2004, Vol 38, Num 3, pp 276-280, issn 0277-2116, 5 p.Article